package model.logic.operator;

/**
 * <tt>OpMinusEqual</tt> is a representation of the equality of absolute values operator to be used in Propositions.
 * <tt>OpEqual</tt> is symmetric.  
 * @author Marius Tempelmeier
 *
 */
public final class OpMinusEqual implements Operator {
	
	/**
	 * Singleton-instance of this. 
	 */
	private static final OpMinusEqual THE_OPMINUSEQUAL = new OpMinusEqual();
	/**
	 * String representation of this. 
	 */
	private static final String OPERATOR_STRING_REP = " -= ";
	
	private OpMinusEqual() { }
	
	public static OpMinusEqual getInstance() {
		return OpMinusEqual.THE_OPMINUSEQUAL;
	}
	
	@Override
	public boolean isSymmetric() {
		return true;
	}
	
	@Override
	public String toString() {
		return OPERATOR_STRING_REP;
	}
}
